-
1 система аксиом
Большой англо-русский и русско-английский словарь > система аксиом
-
2 axiom scheme
Большой англо-русский и русско-английский словарь > axiom scheme
-
3 system of axioms
-
4 axiom scheme
English-Russian dictionary of computer science and programming > axiom scheme
-
5 system of axioms
система аксиомEnglish-Russian dictionary of technical terms > system of axioms
-
6 system of axioms
Англо-русский словарь по исследованиям и ноу-хау > system of axioms
-
7 axiom scheme
-
8 import deposit scheme
-
9 levy subsidy scheme
-
10 priority scheme
English-Russian dictionary of Information technology > priority scheme
-
11 axiom scheme
1) Математика: схема аксиом2) Вычислительная техника: система аксиом -
12 axiomatic system
1) Логика: аксиоматическая система2) Макаров: система аксиом -
13 Axiomensystem
сущ.экон. аксиоматическая система, система аксиом -
14 Axiomensystem
nсистема аксиом, аксиоматическая системаDeutsch-Russisch Wörterbuch für Finanzen und Wirtschaft > Axiomensystem
-
15 nonelementary system
Большой англо-русский и русско-английский словарь > nonelementary system
-
16 set of axioms
Большой англо-русский и русско-английский словарь > set of axioms
-
17 system of axioms
Большой англо-русский и русско-английский словарь > system of axioms
-
18 nonelementary system
Математика: неэлементарная система (аксиом) -
19 set of axioms
Математика: система аксиом -
20 system of axioms
Математика: система аксиом
- 1
- 2
См. также в других словарях:
Система аксиом фон Неймана — Cистема аксиом фон Неймана Бернайса Гёделя (NBG, аксиоматика Гёделя Бернайса) в метаматематике одна из основных аксиоматических теорий множеств. Эта система является расширением канонической теории Цермело Френкеля с … Википедия
ЭЛЕМЕНТАРНАЯ СИСТЕМА АКСИОМ — система аксиом, записанная на языке узкого исчисления предикатов. Системы аксиом арифметики формальной, теории множеств Цермело Френкеля (см. Аксиоматическая теория множеств), типов теории примеры Э. с. а. В. Н. Гришин … Математическая энциклопедия
Система аксиом — … Википедия
ГИЛЬБЕРТА СИСТЕМА АКСИОМ — евклидовой геометрии система аксиом, предложенная в 1899 Д. Гильбертом (см. [1]). Со времени первой публикации Г. с. а. Д. Гильберт внес в систему аксиом различные изменения и уточнения. Основными (неопределяемыми) понятиями в Г. с. а. являются… … Математическая энциклопедия
КАТЕГОРИЧНАЯ СИСТЕМА АКСИОМ — всякая система аксиом 2 , для к рой все алгебраические системы сигнатуры 2, удовлетворяющие этим аксиомам, изоморфны. Из теоремы Мальцева Тарского об элементарном расширении следует, что модели категоричной системы е аксиом 1 го порядка имеют… … Математическая энциклопедия
Формальная система — (формальная теория, аксиоматическая теория) результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны… … Википедия
Модель системы аксиом — Модель системы аксиом какой либо математический объект, который отвечает данной системе аксиом. Истинность системы аксиом можно доказать, только построив модель в рамках другой системы аксиом, которая считается «истинной». Кроме того,… … Википедия
КАТЕГОРИЧНОСТЬ СИСТЕМЫ АКСИОМ — свойство, выражающее содержат. полноту системы аксиом. Система аксиом наз. категоричной, если она однозначно определяет только одну систему предметов с точностью до изоморфизма, т.е. если все интерпретации, или модели, этой системы изоморфны друг … Философская энциклопедия
Независимость аксиом теории — Содержание 1 Определение и разновидности 2 Разновидности дедуктивных теорий 2.1 Задание ак … Википедия
Независимость системы аксиом — У этого термина существуют и другие значения, см. Независимость (значения). Для улучшения этой статьи желательно?: Викифицировать статью. Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное. Независимость… … Википедия
НЕЗАВИСИМОСТЬ СИСТЕМЫ АКСИОМ — свойство системы аксиом данной аксиоматич. теории, состоящее в том, что каждая аксиома является независимой, т. е. не является логическим следствием из множества остальных аксиом этой теории. Система аксиом, обладающая этим свойством, наз.… … Математическая энциклопедия